Nuprl Lemma : not_over_or_a
12,41
postcript
pdf
A
,
B
:
. (
(
A
B
))
{(
A
) & (
B
)}
latex
ProofTree
Definitions
{
T
}
Lemmas
not
over
or
origin
A, B:
. (
(A 
B)) 
{(A) & (B)}
A, B:. ((A B)) {(A) & (B)}